void main(void) {
	unsigned char *test1;
	test1 = 0x1231241;
}
